(assert (forall ((a (Array Int Bool))) (select a 0)))
(check-sat)
